solving a system by substitution